Model 1

Results: 15080



#Item
331

Applying Incremental Model Slicing to Product-Line Regression Testing Sascha Lity1(B) , Thomas Morbach1 , Thomas Th¨ um2 , and Ina Schaefer2 1

Add to Reading List

Source URL: www.isf.cs.tu-bs.de

- Date: 2016-06-30 12:52:34
    332

    Probabilistic Evaluation of Process Model Matching Techniques Elena Kuss1 , Henrik Leopold2 , Han van der Aa2 , Heiner Stuckenschmidt1 , and Hajo A. Reijers2 1 Research Group Data and Web Science

    Add to Reading List

    Source URL: ub-madoc.bib.uni-mannheim.de

    - Date: 2016-08-05 05:32:42
      333

      Model Reduction for Real-time Fluids Adrien Treuille1 1 University Andrew Lewis1 of Washington

      Add to Reading List

      Source URL: grail.cs.washington.edu

      - Date: 2006-09-12 12:22:29
        334

        ORIGINAL RESEARCH A Geographic Simulation Model for the Treatment of Trauma Patients in Disasters Brendan G. Carr, MD, MA, MS;1,2 Lauren Walsh, MPH;3 Justin C. Williams, PhD;4 John P. Pryor, MD;5 Charles C. Branas, PhD5

        Add to Reading List

        Source URL: www.urbanhealthlab.org

        - Date: 2016-05-26 07:51:06
          335

          Simultaneous Secrecy and Reliability Amplification for a General Channel Model Russell Impagliazzo1 , Ragesh Jaiswal2 , Valentine Kabanets3 , Bruce M. Kapron4 , Valerie King4 , and Stefano Tessaro5 1

          Add to Reading List

          Source URL: eprint.iacr.org

          - Date: 2016-08-05 20:17:42
            336

            Message Passing for Optimization and Control of Power Grid: Model of Distribution System with Redundancy Lenka Zdeborov´a1 , Aur´elien Decelle1,2 , and Michael Chertkov1 1 arXiv:0904.0477v3 [cond-mat.stat-mech] 27 Jul

            Add to Reading List

            Source URL: www.delaat.net

            - Date: 2014-07-21 06:09:28
              337

              REQUEST FOR PUBLIC COMMENT REGARDING A PROPOSED MODEL STATUTE, A PROPOSED MODEL RULE, AND A PROPOSED SOLICITATION OF INTEREST FORM TO PERMIT TESTING THE WATERS IN REGULATION A – TIER 1 OFFERINGS December 7, 2016 The No

              Add to Reading List

              Source URL: nasaa.cdn.s3.amazonaws.com

              - Date: 2016-12-07 11:00:44
                338

                1 A Fluid Model for Layered Queueing Networks Mirco Tribastone Abstract—Layered queueing networks are a useful tool for the performance modeling and prediction of software systems that exhibit complex characteristics

                Add to Reading List

                Source URL: dl.dropboxusercontent.com

                  339

                  Parameterized Model Checking of Token-Passing Systems Benjamin Aminof1 , Swen Jacobs2 , Ayrat Khalimov2 , Sasha Rubin1,3 1 ?

                  Add to Reading List

                  Source URL: www.swenjacobs.com

                  - Date: 2013-11-19 05:44:53
                    340

                    Maintenance analysis and optimization via statistical model checking: Evaluating a train pneumatic compressor Enno Ruijters1 , Dennis Guck1 , Peter Drolenga2 , Margot Peters2 , and Mari¨elle Stoelinga1 1: University of

                    Add to Reading List

                    Source URL: fmt.ewi.utwente.nl

                    - Date: 2016-06-13 09:28:43
                      UPDATE